#include <generik/tracing.h>

int function(int a, int b)
{
	GENERIK_TRACER;
	GENERIK_TRACE_VALUE(a);
	GENERIK_TRACE_VALUE(b);
	int c = a+b;
	GENERIK_TRACE_VALUE(c);
	return c;
}

